home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 4 / Apprentice-Release4.iso / Source Code / C / Applications / SML⁄NJ 93+ / Documentation / papers / bibliography.bib next >
Encoding:
Text File  |  1995-12-30  |  9.8 KB  |  358 lines  |  [TEXT/R*ch]
  1. ML Bibliography
  2.  
  3. @book{sokolowski91,
  4. author = "Stefan Sokolowski",
  5. title = "Applicative High Order Programming: the Standard ML perspective",
  6. publisher = "Chapman \& Hall Computing",
  7. address="London",
  8. year="1991"}
  9.  
  10. @inproceedings{appel91:sml,
  11. Title = "{S}tandard {ML} of {N}ew {J}ersey",
  12. Author = "Andrew W. Appel and David B. MacQueen",
  13. Booktitle = "Third Int'l Symp. on Prog. Lang. Implementation and Logic Programming",
  14. Editor="Martin Wirsing",
  15. Publisher="Springer-Verlag",address="New York",
  16. Month = "August",
  17. Year = "1991",
  18. note="(in press)"
  19. }
  20.  
  21. @inproceedings{gunter91,
  22. title = "An Abstract Interpretation for {ML} Equality Kinds", 
  23. author = "Carl A. Gunter and Elsa L. Gunter and David B. MacQueen",
  24. booktitle = "Theoretical Aspects of Computer Software",
  25. publisher = "Springer-Verlag",
  26. address="New York",
  27. month = "September",
  28. year = "1991"}
  29.  
  30. @book{paulson91,
  31. title = "ML for the Working Programmer",
  32. author = "Laurence C. Paulson",
  33. publisher = "Cambridge University Press", address="Cambridge",
  34. year = 1992}
  35.  
  36. @techreport{leroy90,
  37. title = "The {ZINC} Experiment: an economical implementation of the {ML} language",
  38. author = "Xavier Leroy",
  39. number= "No. 117",
  40. Institution="INRIA",
  41. month="February",
  42. year="1990"}
  43.  
  44. @unpublished{caml87,
  45. key="CAML",
  46. title = "{CAML}: The Reference Manual (version 2.3)",
  47. month = "June", year = "1987", 
  48. note = "Projet Formel, INRIA-ENS"}
  49.  
  50. @techreport{tarditi90:mlc,
  51. author = "David R. Tarditi and Anurag Acharya and Peter Lee",
  52. title = "No Assembly Required: Compiling {S}tandard {ML} to {C}",
  53. number = "CMU-CS-90-187",
  54. address="Pittsburgh, PA",
  55. month = "November", Year = "1990", Institution="Carnegie-Mellon Univ."}
  56.  
  57. @techreport(cooper90,
  58.   author = "Eric C. Cooper and J. Gregory Morrisett",
  59.   title = "Adding Threads to {Standard ML}",
  60.   number = "CMU-CS-90-186",
  61.   institution = "School of Computer Science, Carnegie Mellon University",
  62.   address="Pittsburgh, PA",
  63.   month = "December",
  64.   year = 1990)
  65.  
  66. @unpublished{tarditi90:yacc,
  67. Author = "David R. Tarditi and Andrew W. Appel",
  68. Title = "{ML}-{Y}acc, version 2.0",
  69. Month = "April",
  70. Year = "1990",
  71. Note = "Distributed with Standard ML of New Jersey"}
  72.  
  73. @unpublished{appel89:lex,
  74. Author = "Andrew W. Appel and James S. Mattson and David R. Tarditi",
  75. Title = "A lexical analyzer generator for {Standard ML}",
  76. Year = "1989",
  77. Month = "December",
  78. Note = "Distributed with Standard ML of New Jersey"}
  79.  
  80. @techreport{matthews89,
  81. title = "Papers on {Poly/ML}",
  82. author = "David C. J. Matthews",
  83. number = "T.R. No. 161",
  84. institution = "Computer Laboratory, University of Cambridge",
  85. month = "February",
  86. year = "1989"}
  87.  
  88. @book           { milner91,
  89. author  =       "Robin Milner and Mads Tofte" ,
  90. title   =       "Commentary on {S}tandard {ML}" ,
  91. publisher=      "MIT Press" ,
  92. address =       "Cambridge, Massachusetts" ,
  93. year    =       "1991"
  94. }
  95.  
  96. @inproceedings{duba91,
  97. Author = "Bruce Duba and Robert Harper and David MacQueen",
  98. Title = "Typing First-Class Continuations in {ML}",
  99. Booktitle = "Eighteenth Annual ACM Symp. on Principles of Prog. Languages",
  100. Publisher="ACM Press", address="New York",
  101. Month = "Jan",
  102. Year = "1991",
  103. Pages="163--73"}
  104.  
  105. @book{milner89,
  106. Author = "Robin Milner and Mads Tofte and Robert Harper",
  107. Title = "The Definition of {Standard ML}",
  108. Publisher = "MIT Press",
  109. Address = "Cambridge, MA",
  110. Year = 1989}
  111.  
  112. @techreport{ramsey90,
  113. Author = "Norman Ramsey",
  114. Title = "Concurrent Programming in {ML}",
  115. Number = "CS-TR-262-90",
  116. Year = 1990,
  117. Institution = "Princeton University, Dept. Comp. Sci.",
  118. Address = "Princeton, NJ"}
  119.  
  120. @techreport{ reppy90:sig,
  121. Author = "John H. Reppy",
  122. Title = "Asynchronous Signals in {S}tandard {ML}",
  123. Number = "TR 90-1144",
  124. Year = 1990,
  125. Institution = "Cornell University, Dept. of Computer Science",
  126. Address = "Ithaca, NY"}
  127.  
  128. @techreport{ reppy89,
  129. Author = "John H. Reppy",
  130. Title = "First-class Synchronous Operations in {S}tandard {ML}",
  131. Number = "TR 89-1068",
  132. Year = 1989,
  133. Institution = "Cornell University, Dept. of Computer Science",
  134. Address = "Ithaca, NY"}
  135.  
  136. @inproceedings{ tolmach90,
  137. Author = "Andrew P. Tolmach and Andrew W. Appel",
  138. Title = "Debugging {Standard ML} Without Reverse Engineering",
  139. Publisher="ACM Press", address="New York",
  140. booktitle = "Proc. 1990 ACM Conf. on Lisp and Functional Programming",
  141. Month="June",
  142. Year = "1990",
  143. pages= "1-12"}
  144.  
  145. @inproceedings{mitchell88:popl,
  146. Author = "John C. Mitchell and Robert Harper",
  147. Title = "The Essence of {ML}",
  148. Publisher="ACM Press", address="New York",
  149. BookTitle = "Fifteenth ACM Symp. on Principles of Programming Languages",
  150. Pages = "28--46",
  151. Year=1988
  152. }
  153.  
  154. @inproceedings{henderson89,
  155. Author = "Peter B. Henderson and Francisco J. Romero",
  156. Title = "Teaching Recursion as a Problem-Solving Tool Using {S}tandard {ML}",
  157. Publisher="ACM Press", address="New York",
  158. Booktitle = "ACM Computer Science Conference",
  159. Year = "1989"
  160. }
  161.  
  162. @inproceedings{macqueen88:mod,
  163. Author = "David B. MacQueen",
  164. Publisher="ACM Press", address="New York",
  165. Title = "The Implementation of {S}tandard {ML} Modules",
  166. booktitle = "ACM Conf. on Lisp and Functional Programming",
  167. pages = "212-23",
  168. Year = "1988"
  169. }
  170.  
  171. @techreport{appel88:exn,
  172. Author = "Andrew Appel and David MacQueen and Robin Milner and Mads Tofte",
  173. Title = "Unifying Exceptions with Constructors in {S}tandard {ML}",
  174. Number = "CSR-266-88",
  175. Year = "1988",
  176. Institution = "Univ. of Edinburgh Dept. of Comp. Sci.",
  177. Address = "Edinburgh, Scotland"
  178. }
  179.  
  180. @inproceedings{augustsson84,
  181.  author= "Lennart Augustsson",
  182.  title = "A Compiler for Lazy {ML}",
  183.  publisher="ACM Press",address="New York",
  184.  booktitle = "Proc. 1984 ACM Conf. on LISP and Functional Programming",
  185.  pages = "218-27",
  186.  year = "1984"}
  187.  
  188. @inproceedings{appel87:sml,
  189. Author = "Andrew W. Appel and David B. MacQueen",
  190. Title = "A {S}tandard {ML} Compiler",
  191. BookTitle = "Functional Programming Languages and Computer Architecture (LNCS 274)",
  192. Editor = "Gilles Kahn",
  193. Publisher = "Springer-Verlag",address="New York",
  194. Year = 1987,
  195. Pages = "301-24"
  196. }
  197.  
  198.  
  199. @unpublished{baudinet86,
  200. Author = "Marianne Baudinet and David MacQueen",
  201. Title = "Tree Pattern Matching for {ML}",
  202. Note="Available from David MacQueen, AT\&T Bell Laboratories, 600 Mountain
  203. Avenue, Murray, Hill, NJ 07974",
  204. Year = 1986
  205. }
  206.  
  207. @inproceedings{macqueen84,
  208. Author = "David MacQueen",
  209. Title = "Modules for {S}tandard {ML}",
  210. Publisher = "ACM Press", address="New York",
  211. BookTitle = "Proc. 1984 ACM Conf. on LISP and Functional Programming",
  212. Pages =  "198-207",
  213. Year = 1984
  214. }
  215.  
  216. @inproceedings{milner84,
  217. Author = "Robin Milner",
  218. Title = "A Proposal for {S}tandard {ML}",
  219. Publisher = "ACM Press", address="New York",
  220. BookTitle = "ACM Symposium on LISP and Functional Programming",
  221. Pages =  "184-97",
  222. Year = 1984
  223. }
  224.  
  225. @article{milner85,
  226. Author = "Robin Milner",
  227. Title = "The {S}tandard {ML} Core Language",
  228. Journal = "Polymorphism",
  229. Volume =  2,
  230. Number = 2,
  231. Year =  1985,
  232. Month = "October"
  233. }
  234.  
  235. @article{cardelli83:ml,
  236. Author = "Luca Cardelli",
  237. Title = "{ML} under {U}nix",
  238. Journal = "Polymorphism",
  239. Volume =  1,
  240. Number = 3,
  241. Year = 1983,
  242. Month = "December"
  243. }
  244. @article{cardelli83:fam,
  245. Author = "Luca Cardelli",
  246. Title = "The functional abstract machine",
  247. Journal = "Polymorphism",
  248. Volume =  1,
  249. Number = 1,
  250. Year = 1983,
  251. Month = "January"
  252. }
  253. @techreport{appel91:callee,
  254. author="Andrew W. Appel and Zhong Shao",
  255. title="Callee-save Registers in Continuation-Passing Style",
  256. number="CS-TR-326-91", month="June", year="1991",
  257. institution="Princeton Univ. Dept. of Computer Science", 
  258. address="Princeton, NJ"
  259. }
  260.  
  261. @book{appel92:cps,
  262. Author = "Andrew W. Appel",
  263. Title = "Compiling with Continuations",
  264. publisher = "Cambridge University Press",
  265. Year = "1992"}
  266.  
  267. @article{appel90:runtime,
  268. Author = "Andrew W. Appel",
  269. Title = "A Runtime System",
  270. Journal = "Lisp and Symbolic Computation",
  271. Year = "1990",
  272. Volume = "3",
  273. Number = "343-80"}
  274.  
  275. @techreport{appel88:prof,
  276. Author = "Andrew W. Appel and Bruce F. Duba and David B. MacQueen",
  277. Title = "Profiling in the presence of optimization and garbage collection",
  278. Number = "CS-TR-197-88",
  279. Year = 1987,
  280. Institution = "Princeton University, Dept. Comp. Sci.",
  281. Address = "Princeton, NJ"}
  282.  
  283.  
  284. @techreport{appel88:clo,
  285. Author = "Andrew W. Appel and Trevor T. Y. Jim",
  286. Title = "Optimizing Closure Environment Representations",
  287. Institution = "Dept. of Computer Science, Princeton University",
  288. address="Princeton, NJ",
  289. Number="168",
  290. Year = 1988
  291. }
  292.  
  293. @article{appel89:tag,
  294. author = "Andrew W. Appel",
  295. title = "Runtime Tags Aren't Necessary",
  296. journal = "Lisp and Symbolic Computation",
  297. Year=1989,
  298. Volume="2",
  299. Pages="153-62"}
  300.  
  301.  
  302. @article{appel89:sggc,
  303. author = "Andrew W. Appel",
  304. title = "Simple Generational Garbage Collection and Fast Allocation",
  305. Journal = "Software---Practice and Experience",
  306. publisher="Wiley", address="New York",
  307. Year=1989,
  308. Volume="19",
  309. Number="2",
  310. Pages="171-83"}
  311.  
  312. @inproceedings{appel89:cps,
  313. Author = "Andrew W. Appel and Trevor Jim",
  314. Title = "Continuation-Passing, Closure-Passing Style",
  315. Publisher = "ACM Press",address="New York",
  316. BookTitle = "Sixteenth ACM Symp. on Principles of Programming Languages",
  317. Pages =  "293-302",
  318. Year = 1989
  319. }
  320.  
  321. @unpublished{reppy91:exene,
  322. author = "John H. Reppy and Emden R. Gansner",
  323. title = "The e{X}ene library manual",
  324. month = "March", year = "1991", 
  325. address="Ithaca, NY",
  326. note = "Cornell Univ. Dept. of Computer Science"}
  327.  
  328. @techreport{ reppy90:cml,
  329. Author = "John H. Reppy",
  330. Title = "Concurrent Programming with Events",
  331. Number = "",
  332. Year = 1990,
  333. Institution = "Cornell University, Dept. of Computer Science",
  334. Address = "Ithaca, NY"}
  335.  
  336. @article{reppy88,
  337. Author = "John H. Reppy",
  338. Title = "Synchronous Operations as First-class Values",
  339. publisher = "ACM Press", address= "New York",
  340. Journal = "SIGPLAN Notices (Proc. SIGPLAN '88 Conf. on Prog. Lang. Design and Implementation)",
  341. Volume =  23,
  342. Number = 7,
  343. Year = 1988,
  344. Pages = "250-59"
  345. }
  346.  
  347.  
  348. @inproceedings{macqueen90:mod,
  349. title = "A Higher-Order Type System for Functional Programming",
  350. author = "David B. MacQueen",
  351. booktitle = "Research Topics in Functional Programming",
  352. pages = "353-68",
  353. publisher="Addison-Wesley", address="Reading, MA",
  354. year ="1990"}
  355.  
  356.  
  357.  
  358.